Skip to content

PEP 694, 752: Use unique labels to fix warning#5008

Merged
hugovk merged 1 commit into
python:mainfrom
hugovk:fix-warning
Jun 29, 2026
Merged

PEP 694, 752: Use unique labels to fix warning#5008
hugovk merged 1 commit into
python:mainfrom
hugovk:fix-warning

Conversation

@hugovk

@hugovk hugovk commented Jun 27, 2026

Copy link
Copy Markdown
Member

Fixes:

peps/pep-0694.rst:1531: WARNING: duplicate label security-implications, other instance in peps/pep-0752.rst

peps/pep-0694.rst:1531: WARNING: duplicate label security-implications, other instance in peps/pep-0752.rst
@hugovk hugovk requested review from dstufft and warsaw as code owners June 27, 2026 20:39
@read-the-docs-community

Copy link
Copy Markdown

Documentation build overview

📚 pep-previews | 🛠️ Build #33339545 | 📁 Comparing e3a0d48 against latest (f4fad06)

  🔍 Preview build  

2 files changed
± pep-0694/index.html
± pep-0752/index.html

@hugovk hugovk merged commit 4d0d76a into python:main Jun 29, 2026
5 checks passed
@hugovk hugovk deleted the fix-warning branch June 29, 2026 19:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants